More from this Author

Logic and Its Applications

by Sujata Ghosh (Editor), Sanjiva Prasad (Editor)

Distributed Computing and Internet Technology

by Nikolaj Bjorner (Editor), Sanjiva Prasad (Editor), Laxmi Parida (Editor)